Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
381	Forth 200x Standards Committee #8 Exeter College, Oxford, UK 12–14 September 2012 Agenda 1. Attendance 2. Minutes of last meeting Add to Reading List Source URL: www.forth200x.org Language: English - Date: 2013-09-12 12:28:37 Programming language theory Software engineering Forth Computing
382	213 ARTIFICIAL INTELLIGENCE Intention Is Choice with Commitment* Philip R. Cohen Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2005-09-17 11:12:50 Action theory Philosophy of science Social philosophy Software engineering GOAL agent programming language Classical cipher Computer programming Computing Action
383	DRA FRONT END FILTER PROJECT Proof of Security (I) Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:12 Standard ML Computer programming Programming language theory
384	Broker/Importer Summary Report (Searching for Unpaid Declarations) - A Quick Guide Add to Reading List Source URL: cargosupport.gov.au Language: English - Date: 2007-05-01 01:49:16 Computing Programming language theory Software Microsoft Excel Pascal
385	MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY A.I. Technical Report NoOctober, 1993 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:37 Programming paradigms Abstraction Scheme Procedural programming Denotational semantics Id Pascal SQL ACT-R Computing Software engineering Programming language theory
386	NLTS2 Youth Sec A_SHIFTX Add to Reading List Source URL: www.nlts2.org Language: English - Date: 2014-09-04 15:13:09 Cross-platform software Programming language theory Computing Software engineering C
387	2 Citations Summary My work has an estimated lower bound of 1570 citations. Most of them appear in papers published in well established journals and conferences. Among the citations, 1180 are original Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:13:19 ALGOL 68 Lecture Notes in Computer Science Orc Model checking Programming language theory Computing Software engineering
388	In FOOL7 Electronic ProceedingsDepth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:03:50 Programming language theory Computing Object-oriented programming Polymorphism Deduction Subtype polymorphism Symbol Type system System F Type theory Software engineering Data types
389	Well-Shaped Macros Ryan Culpepper, Matthias Felleisen Northeastern University Boston, MAEmail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:30 Type theory Transformation languages Procedural programming languages Functional languages Lisp programming language Macro Hygienic macro Scheme C preprocessor Software engineering Computing Computer programming
390	A Haskell Roadshow Joachim Breitner January 20th 2011 Features Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Functional languages Type theory Haskell Functional programming Type system Lazy evaluation Type inference Pure Strong typing Software engineering Programming language theory Computing

UPDATE